对建设项目管理中培养品牌建造师的思考

就建设项目管理中品牌建造师的培养问题进行了分析,指出品牌建造师必须具有良好的职业道德,具备较强的综合管理能力,拥有一支技术力量强、管理水平高的项目班子以及优秀的劳务队伍,这样才能提升项目的建设水平。     

递归数据传送进程的证明系统

本文提出了递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性，其中关键的推理规则是唯一不动点归纳法，这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统推广到数据传送进程，另一方面将Ｈｅｎｎｅｓｓｙ与Ｌｉｎ关于有穷数据传送进程的证明系统推广到无穷进程。     

社会主义制度下的借贷资本研究

通过对社会主义制度下的借贷资本分析，看借贷资本的效能。     

全国一级建造师考试体会

针对一级建造师执业资格考试，对复习和考试的相应策略和技巧进行了论述，对参加全国一级建造师执业资格考试有重要的指导意义。     

Interpreting SWRL Rules in RDF Graphs

An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics. In this paper we propose to make the model-theoretic semantics of SWRL compatible with RDF by interpreting SWRL rules in RDF graphs. For dealing with SWRL/RDF rules, we regard ‘Implies’ as an OWL class, and extract all ‘Implies’ rules from an RDF database that represents a SWRL knowledge base. Each ‘Implies’ rule is grounded through mappings built into the semantic conditions of the model theory. Based on the fixpoint semantics, a bottom-up strategy is employed to compute the least Herbrand models.     

Universal constructor to build a Tierran machine structure

In constructing an artificial life system with a high potential for evolution, one of the elements that we should design most carefully is the machine structure, i.e., the architecture of the system controlling the operations of a digital creature. This article proposes an approach to modify the machine structure of Tierra in order to obtain higher evolvability. The structure of the Tierran digital creature that we propose is stimulated by the self-reproducing model proposed by von Neumann, which allows self-reproduction in a simple architecture. A verification of a digital creatures structure was carried out through computer simulation. As a result, the capabilities of self-reproduction and parasitism were demonstrated.This work was presented in part at the 8th International Symposium on Artificial Life and Robotics, Oita, Japan, January 24–26, 2003     

基于PSODE的网格任务调度算法

针对网格计算中任务在各个资源之间的调度问题,提出了一种网格环境下PSODE的任务调度算法.该算法实现了计算资源、存储资源、带宽资源、数据资源的利用率最高化和代价最低化.对基本粒子群算法和差分进化算法进行了分析,通过构造算法函数、适应值函数和权重公式,建立了粒子群差分混合算法并对其进行优化,介绍了算法的实现过程.实验结果表明,该算法与其它调度算法比较,具有良好的性能.